Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
531	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
532	A Comprehensive Guide for Proposers to the EU Environmental Technologies Verification Pilot Programme AdvanceETV Add to Reading List Source URL: www.etv-danmark.dk Language: English - Date: 2012-09-13 06:18:03 Formal methods Logic in computer science Science Validation Applied mathematics Verification and validation Formal verification Verification Technology Pharmaceutical industry Validity Systems engineering
533	T. Hirashima et al. (EdsProceedings of the 19th International Conference on Computers in Education. Chiang Mai, Thailand: Asia-Pacific Society for Computers in Education Algorithm Learning Environment for Link Add to Reading List Source URL: www.nectec.or.th Language: English - Date: 2011-11-11 02:49:08 Algorithm Mathematical logic Theoretical computer science Pointer Stack Linked list C Programming language Computing Software engineering Computer programming
534	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
535	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
536	Errata This document contains errata for Modern Programming Languages: A Practical Introduction, 2nd ed. by Adam Brooks Webber, published in 2011 by Franklin, Beedle & Associates, Inc. These corrections represent all err Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2012-05-16 11:45:57 Denotational semantics Applied mathematics Theoretical computer science Logic in computer science Models of computation
537	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
538	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
539	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:53 Computer science Principles of Programming Languages Computing Lambda calculus Logic in computer science Combinatory logic
540	Poster: Security in E-Voting Daniel Bruns† , Huy Quoc Do‡ , Simon Greiner† , Mihai Herda† , Martin Mohr† , Enrico Scapin∗ , Tomasz Truderung∗ , Bernhard Beckert† , Ralf Küsters∗ , Heiko Mantel‡ and R Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:42:19 Java platform Formal methods Logic in computer science Formal verification Cryptographic primitive KeY Cryptography Java Card Cryptographic protocol Computing Theoretical computer science Formal sciences

UPDATE